21. Catalogue of Artificial Intelligence Tools
پدیدآورنده: edited by Alan Bundy, Lincoln Wallen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
22. Classification, Data Analysis, and Knowledge Organization :
پدیدآورنده: edited by Hans-Hermann Bock, Peter Ihm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer scienc.,Operations research.,Statistics.
رده :
QA276
.
A1
E358
1991
23. Combinatorial Image Analysis :
پدیدآورنده: edited by Reinhard Klette, Joviša Žunić.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Electronic data processing.
24. Communicating process architectures 2009 :
پدیدآورنده: edited by Peter H. Welch [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Transputers, Congresses.,Computer architecture.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,occam (Computer program language),Parallel processing (Electronic computers),Transputers.
رده :
QA76
.
58
.
W58
2009
25. Compiling Parallel Loops for High Performance Computers
پدیدآورنده: by David E. Hudak, Santosh G. Abraham.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
26. Computer Aided Verification :
پدیدآورنده: Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
27. Computer algebra in scientific computing :
پدیدآورنده: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
28. Computer science -- theory and applications :
پدیدآورنده: René van Bevern, Gregory Kucherov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms, Congresses.,Computer science, Congresses.,Computer algorithms.,Computer science.
رده :
QA75
.
5
29. Data structures and algorithms in C]]
پدیدآورنده: Michael T. Goodrich, Roberto Tamassia, David M. Mount
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: C]] )Computer program language(,Data structures )Computer science(,Computer algorithms,COMPUTERS / Programming Languages / C]], bisacsh
رده :
QA
76
,.
73
.
G66D3
2011
30. Data structures and algorithms in C++ /
پدیدآورنده: Michael T. Goodrich, Roberto Tamassia, David M. Mount
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C++ (Computer program language),Computer algorithms,Data structures (Computer science)
رده :
QA76
.
73
.
C153
G63
2011
31. Data structures and algorithms with Python /
پدیدآورنده: Kent D. Lee, Steve Hubbard
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Data structures (Computer science),Python (Computer program language),Algorithm Analysis and Problem Complexity.,Computer Science.,Data Structures.,Programming Techniques.
رده :
QA76
.
9
.
D35
32. Data structures and algorithms with Python /
پدیدآورنده: Kent D. Lee, Steve Hubbard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Data structures (Computer science),Python (Computer program language),Algorithms & data structures.,Computer algorithms.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Data structures (Computer science),Python (Computer program language)
رده :
QA76
.
9
.
D35
L44
2015eb
33. Data structures and algorithms with Python /
پدیدآورنده: Kent D. Lee, Steve Hubbard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Data structures (Computer science),Python (Computer program language),Algorithms.,Data structures (Computer science),Python (Computer program language)
رده :
QA76
.
73
.
P98
L44
2015
34. Database Theory -- ICDT '92 :
پدیدآورنده: edited by Joachim Biskup, Richard Hull.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Database management.
رده :
QA76
.
9
.
D3
E358
1992
35. First course in algorithms through puzzles /
پدیدآورنده: Ryuhei Uehara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
36. Formal modeling and analysis of timed systems :
پدیدآورنده: David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
37. Foundations of programming languages /
پدیدآورنده: Kent D. Lee.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
38. Functional Networks with Applications
پدیدآورنده: by Enrique Castillo, Angel Cobo, José Manuel Gutiérrez, Rosa Eva Pruneda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer-aided design.,Data structures (Computer science).,Physics.
39. Funtional Programming Languages in Education :
پدیدآورنده: edited by Pieter H. Hartel, Rinus Plasmeijer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer Science.,Logic design.
رده :
QA76
.
62
E358
1995
40. GI - 6. Jahrestagung :
پدیدآورنده: herausgegeben von Erich J. Neuhold.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.
رده :
QA76
.
H473
1976
